Theorem-proving for robot problem solving 机器人问题求解的定理证明
Conjunctive goal in robot problem solving 机器人问题求解中的合取目标
Backward production system for robot problem solving 关于机器人问题求解的逆向产生式系统
Robot Problem-Solving System 机器人问题求解系统
Formulation of the Evaluation Function and Elimination of the Redundance and Contradiction in the Robot Problem Solving 机器人问题求解中的评价函数及矛盾和冗余的消除
In this paper, we introduce the communication mechanism of autonomous robot soccer system, and its practical and reliable communication language based on KQML ( Knowledge Query and Manipulation Language), which is designed for cooperative problem solving and knowledge sharing of the multi-robot system. 本文建立了全自主移动机器人系统的通信机制,为多机器人系统的协作问题求解和知识共享提供一套基于KQML的简单实用可靠的通信语言。
Robot Cooperative Problem Solving Using Concurrent Member System Programming Language 并发成员系统程序设计语言环境下的机器人协同问题求解
Five degrees of freedom robot arm by rotating the common coordinate transformation algorithm achieve forward kinematics and inverse kinematics problem solving of robot arm. 五自由度服务机器人手臂通过坐标通用旋转变换算法实现机器人手臂的正运动学问题和逆运动学问题求解。